cleaned up PHAxioms