A mathematician is a device for turning coffee into theorems.
Failure is just a temporary setback, not the end of the road.
正义是一种非理性的理想。