Example 2.5, unmodified
Example 2.5 finally makes sense to me
Done with 2.2\!