Weiteres Beispiel
Eine Konsequenz klassischer Logik
typo