Man könnte in der Logik auch eine Aufgabe in den Worten stellen: “Konstruiere den Satz …” – statt: “[b|B]eweise den Satz …”