The poet is a dreamer who dreams with open eyes, and who sees the world not as it is, but as it could be.
A mathematician is a device for turning coffee into theorems.