Removed axioms