Designing for Mathematical Abstraction · Study