全人类...都是平等和独立的，没有人应该侵犯他人的生命、健康、自由或财产。

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

"The only real failure in life is not to be true to the best one knows."

我真的不考虑年龄。我认为人的年龄取决于他们的感受和行为。

In the short run, the market is a voting machine but in the long run, it is a weighing machine.

The desert could not be claimed or owned–it was a piece of cloth carried by winds, never held down by stones, and given a hundred shifting names.