Stav dette: Wir müssen wahre Sätze finden