Connecting informal and formal mathematics door H.J. Elbers