nonaxiomatic

not defined yet