test cases for proj3