The Formal Basis of Modern Architecture