Proof for Q2 work-in-progress.
Q3 part a) and b) completed. May need some proof reading.