some work on classical axioms