axiomatic

not defined yet