added two axioms