Logic Problem Set 1 – Testing for Good