Example 2 (ex. 11 in paper)
>
>
(2.1)