axiomatizing

not defined yet