You'll ave to re-evaluate once you have the Axioms.