Section 1.2.2: fiddling around and taking notes on the 'Counting change' example