Because the only choice in a proof with respect of rule selection are the {\displaystyle } and {\displaystyle } chains, the form of the proof suggests the question whether it can be made more precise, where these chains might be needed.
Da die einzige Möglichkeit in einem Beweis im Hinblick auf die Regelauswahl diese {\displaystyle } und {\displaystyle } Ketten sind, legt die Gestalt der Beweise die Frage nahe, ob man präzisieren kann wo diese Ketten benötigt werden.