axiomatized

not defined yet