3. Show that the following refinement is correct (for any g, S, and S2): {g}; if g then S, else S, fi E S2