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 || das neue Zeichen || der neue Satz wird aus α ∙ β ∙ γ so zusammengestellt, daß, indem man (nun) A aus B herausliest man nicht α ∙ β ∙ γ in jener verkürzten Form || Art von Verkürzung liest in der man die Prämisse im Folgesatz vor sich hat. || im Folgesatz liest.