Example 5.8 (not in Shiffman, see wiki for more)