A mathematician is a device for turning coffee into theorems.
预测未来的最好方式就是去创造它。