The extreme of formalism into which one can be misled in these matters can be seen from the penetrating general exposition by my respected colleague, Prof. Dirksen, of the fundamental determinations used in the deduction of differential calculus.