点燃蜡烛的同时也投下了阴影。
To light a candle is to cast a shadow.
时间不会治愈所有伤口；有些伤口会留下，成为我们的一部分。
宇宙不仅比我们想象的更奇怪，它比我们能够想象的还要奇怪。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
艺术不是一件东西；它是一种方式。
The deepest theorems often have the simplest proofs - if you look at them from the right angle.
文字的力量可以改变世界。
石化行业必须适应低碳趋势，才能在新时期保持竞争力。