But the usefulness of such formulae only fully emerges when they are used in working out inferences, nnd we can only fully
their value in this regard with practice.
Gottlob-Frege-Posthumous-Writings