Substitution axiom -- corrected