历史教育我们，你现在相信的假定在 100 年后很可能会被证明是错的。一个在今天就可以问自己的好问题就是「我可能错在哪里了？」

在生死的茫茫大海中，谁能作为渡船？在无明的漫漫长夜里，谁能成为明灯？

世界需要可靠的能源，而煤炭仍然在其中发挥着关键作用。

Sometimes, the hardest battles are fought within the confines of our own minds.

Le ciel est, par-dessus le toit, / Si bleu, si calme!

在数学中，真理总是相对于你所在的系统而言的。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."