Besides, the mere application of such borrowed formulas is an external operation; the application itself must be preceded by the awareness of both their value and their meaning, and only the consideration of thought, not any authority drawn from mathematics, yields this awareness.