nontautological

not defined yet