ParentFull threadlifepillar·K3 has no tautologies, but Ł3 does have tautologies, e.g. P->P.View on HN