Example 1 (ex. in section 3.6 in paper)
>
>
>
(1.1)
>
>
(1.2)
>
(1.3)
>
(1.4)