k  
   Könnte man sich die Definitionen im Kalkül nicht ausgelassen denken – & nur die ˇihr entsprechende Substitution, die ihr entspricht gemacht, mit dem Vermerk dies möge eine gestattete Substitution sein?