我让我的灵魂穿越无形，去拼读那来世的信：不久后我的灵魂回到我身边，回答说“我自己就是天堂和地狱。”

最好的小说是关于我们最害怕的事情。

I think the most important thing is to be honest with yourself and to be honest with the people around you.

如果一件事情自己都没有搞明白，又怎么能去教导别人，让别人明白呢？

每一天都是新的开始。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

我们不是从祖先那里继承了海洋，而是从子孙那里借来的。