immediate axiom