Practicing Writing Recursive Claims