Man könnte etwa sagen: Hier wurde die untere Gleichung als a + b = b + a gebraucht; und analog: hier wurde B als A gebraucht, wobei B aber gleichsam der Quere nach gelesen wurde. Oder: B wurde als A gebraucht, aber die neue Gleichung // der das neue Satz Zeichen // wird aus u & v& w so zusammengestellt, dass, indem man nun﹖ A aus B herausliest, man nicht u & v& w in jener Art von Verkürzung liest, in der man die Prämisse im Folgesatz vor sich hat. // … im Folgesatz liest. // // … dass, indem man nun A aus B herausliest, u & v & w nicht in jener Art von Verkürzung erscheint, in der man … //