trichotomy-lemmata and termITE-tautologies