axiomatically

not defined yet