Man barricades against himself.

Real recognize real.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

宁愿因为有所作为而被世人知晓而死，也不愿默默无闻地活着

我不是一个喜欢输的人。

To be a moral human being is to pay, be obliged to pay, certain kinds of attention.

Change starts with acknowledging the past but focusing on the future.

最重要的是忠于自己。

森林不需要我们，而是我们需要森林。