tautologist

not defined yet