A Computational Model of Basic Addition Solving | Synapse