重点不是预测未来，而是为未来做好准备。

一部伟大的电影是那种给你留下更多问题而不是答案的电影。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

"The key to innovation is diversity of thought."

经济政策应根据其现实影响进行评估。

政策应是水产养殖发展的指南针，而非锚点。

过去是一个异国；他们在那里做事的方式不同。