Soll ich nun sagen: Das macht ja alles nichts – die Logik bleibt doch der Grundkalkül nur wird freilich, ob ich zweimal dieselbe Formel vor mir habe, von Fall zu Fall verschieden || anders festgestellt || aufgefunden || herausgebracht.