Example 11 works