Tautological implication