On the relation between production and verification tasks in the psychology of simple arithmetic. | Synapse