non-iterative_axiom