1-7.mws Introduction Getting started Example 1 Exercise Example 1.7.2 on page 58 of Borrelli/Coleman