Submissions for team proof by AC on problem 2 circle_final_main