生活是世界上最罕见的事，大多数人只是存在而已。
To live is the rarest thing in the world. Most people exist, that is all.
我只是想做我自己，不让任何事改变这一点。
The night is a great book, but the stars are its letters.
种树的最佳时间是二十年前，其次是现在。
我一直相信，如果你陷入困境，也许事情进展不顺利，你会变得更强大。生活中的一切都是这样。
尽管儿童的举止有比较大的自由，但总的说来，他们给人一种非常有纪律的印象。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.