a = a ist nicht in demselben Sinne eine Tautologie wie p ⊃ p.