Als Induktionsbeweis betrachtet rechtfertigt W nicht gerade den Übergang in AW. Nicht mehr als der Übergang 4 + (5 + 2) = (4 + 5) + 2.