The best way to predict the future is to invent it.

Don't walk behind me; I may not lead. Don't walk in front of me; I may not follow. Just walk beside me and be my friend.

科学是由人创造的，这是一个太过经常被遗忘的自明事实。

Traceability in seafood isn't just good ethics, it's good business.

形式系统的发展彻底改变了我们对数学的理解。