The average man does not know what to do with his life, yet wants another one which will last forever.

地震是一种自然现象，而不是一种惩罚。

The challenge in model checking is not just to find errors, but to understand why they occur.

The purpose of computing is insight, not numbers.

I write to make sense of the world, to give it a shape, a form.

Every challenge in farming is an opportunity to learn and grow.

一个心理过程的价值在于它的生存效用。

真相很少是纯粹的，也从来不是简单的。