tautness

not defined yet