Example3.2.5 Rev 1.mw