Algebraic Reasoning Notes-1.pdf