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