Example 4 done.