世界是生者的地方，死者在其中没有位置。死者什么都不是。他们甚至不是记忆。他们被遗忘了。而生者，也将被遗忘。
The world is a place of the living, and the dead have no place in it. The dead are nothing. They are not even a memory. They are forgotten. And the living, too, will be forgotten.
你真的要离开吗？因为我想要的一切就是你能出现在我的门前。
He strolled like a man in the park without a care or a worry in the world. Like he had>
"In every book, there is a part of the author's soul."
Phenomena are the outer expressions of hidden essences.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
和那些叫喊饥饿的人相比，那么吃饱了自然就快乐；和呼叫寒冷的人相比，那么得到温暖自然就快乐；和患病者相比，那么健康就会快乐；和祸患者相比，那么平安就快乐；和死去的人相比，活着就会快乐。
最好的演员是那些愿意展现脆弱的人。