Example 16 seems to be working correctly