Formal notations are diagrams: Evidence from a production task
where mathematics comes from : how the embodied mind brings mathematics into being the only .