sec17-1.mws
Example 1 (p. 732)
Example 2 (p. 732)
Example 4 (p. 733)
Example 5 (p. 734)