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