Man könnte in der Logik auch eine Aufgabe in den Worten stellen: “Konstruiere den Satz …” – statt: “Beweise den Satz …”