Added the three axioms.