生活其实很简单，但我们坚持把它复杂化。

Science is the greatest adventure of the human mind.

The right of nature... is the liberty each man hath, to use his own power, as he will himself, for the preservation of his own nature; that is to say, of his own life.

数学证明是用逻辑语言写成的诗。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

科学方法是统一且不可分割的，处理生命物质的科学与处理无机物质的科学方法相同。