Putting examples (and other kinds of motivation) first is a way of reducing the reliance of the reader on direct memory, since it sometimes makes it possible to derive the memory instead. (E.g., in the fields example, one could derive the list of axioms, or at least get a long way towards doing so, from the simple idea that they are the properties that hold of addition and multiplication in the ra