tautologic

not defined yet