The rules now specify a procedure with parameters Γ , e {\displaystyle \Gamma ,e} yielding τ {\displaystyle \tau } in the conclusion where the execution of the premises proceeds from left to right.
Die Regeln spezifizieren nun eine Prozedur mit Parametern Γ , e {\displaystyle \Gamma ,e} und Resultat τ {\displaystyle \tau } im Schluss, wobei die Ausführung der Prämissen von links nach rechts verläuft.