Therefore, the application—as distinct from the formal calculus—necessarily imports presuppositions ...