Immediate Axiom