True Axiom Developer Notes