6˙1122
Es ist klar daß man zu demselben Zweck statt der Tautologien auch die Kontradiktionen verwenden könnte.