axiomatize

not defined yet