Proof in Algebra: Reasoning beyond Examples