Illustrating Principled Design: The Early Evolution of a Cognitive Tutor for Algebra Symbolization | Synapse