tautology

not defined yet