Example3.2.13 Rev 1.mw