Designing and evaluating SIMaV: A conceptual macro-visualization system to enhance students' mathematical abstraction ability | Synapse