added the example from the first article of the "Conceptual Mathematics" book