Empirically evaluating the use of animations to teach algorithms | Synapse