Attempt at assignment 1 finished;
(might change spelling and proof format slightly)