Tautológia (tradičná logika): Rozdiel medzi revíziami