nontautologically

not defined yet