Activities that Engage Students in the Process of Proving