Axiom 3: There is Property.