Test 2

It's hard to say how Test 2 went, I felt as though I provided a sound argument in each proof but I am not sure if it was syntactically right since the topic of correctness is new and we haven't done many examples.

Carl