MCR-10: A Constraint-Based Framework for Mathematical Cognitive Reconstruction | Synapse