Begin to write test case for Proj2