Figure 3: Program execution in MOMP.