Problem 2, changed some tests in Problem 1 to use refute.