Ebenso erlaubt mir die Zuordnung von Konstruktionsmethoden zu Arten algebraischer Ausdrücke eine neue Beschreibung der Konstruktionen, neue Fragestellungen, neue Urteile.