We are on the verge: Today our program proved Fermat's next-to-last theorem.
The past is a shadow that follows us everywhere.
预测未来的最好方法就是去创造它。