Reasoning in Algebra