Finished exercise 2 as well

Exercise 2 was added. I am now adding test cases for proof on
everything.