The Primary Axiom