tautnesses

not defined yet