“No mathematical idea has ever been published in the way it was discovered. Techniques have been developed and are used, if a problem has been solved, to turn the solution procedure upside down, or if it is a larger complex of statements and theories, to turn definitions into propositions, and propositions into definitions, the hot invention into icy beauty. This then if it has affected teaching matter, is the didactical inversion, which as it happens may be anti-didactical.”

Rather than behaving anti-didactically, one should recognise that the learner is entitled to recapitulate in a fashion of mankind. Not in the trivial matter of an abridged version, but equally we cannot require the new generation to start at the point where their predecessors left off.
Source: The Concept and the Role of the Model in Mathematics and Natural and Social Sciences (1961), p. ix