Example3.2.11 Rev 1.mw