A mathematician is a device for turning coffee into theorems.
生活教会了我思考,但思考却没有教会我生活。