Example 1 works.