axiomatical

not defined yet