tautological

not defined yet