Added definitions, postulates and axioms.