Explicating mathematical thinking in differential equations using a computer algebra system | Synapse