Algebraic Reasoning: Algebraic Methods