The Axioms of BIM