Example3.2.9 Rev 1.mw