But it is certainly not possible to insist on one hand that...

But it is certainly not possible to insist on one hand that the formalism is complete and to insist on the other hand that its application to 'the actual' actually demands a step which cannot be derived from it.