Example3.2.10 Rev 1.mw