Sollte sie (die Logikpruefung) aber doch ohne den hier: