sec15-2.mws Example 1