Example3.2.12 Rev 1.mw