诗人必须成为先知,使自己成为先知。
A mathematician is a device for turning coffee into theorems.