A Cognitive Model Of Quantity-Based Algebraic Reasoning