/  
Angenommen ich schriebe den Satz A hin, set[t|z]te aber in der rechten Klammer die falsche Anzahl von Strichen, so könnte & würde man auf diesen Fehler nur durch Vergleichung der Strukturen, nicht durch die Anwendung von logischen ˇLehr[S|s]ätzen kommen.