You?ll see what you mean: Students encode equations based on their knowledge of arithmetic | Synapse