Finished shadow execution section. Added transitions for Section 3.