Example3.2.15 Rev 1.mw