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