The elegance of a proof is as important as its correctness.
柴油发动机是当今已知效率最高的原动机。
我写作是为了让不可能变得不可避免。
安全不仅仅是一项政策,它是一种生活方式。