A1.4 (a) Reformulating the setup.
A1.4 (a) TODO: Reformulate this part.
A2.1 (b) clean up.
A2.1 (b) Colon after eq.
A2.1 (b) iii: Corrected error in satisfying set.