Rule of 7 in research. You can find out anything if you are willing to go seven levels. If the first source you ask doesn’t know， ask them who you should ask next， and so on down the line. If you are willing to go to the 7th source， you’ll almost always get your answer.

"I don't know what the future holds, but I know who holds the future."

雪人在我的想象中早已存在，远早于他出现在纸上。

你给予的越多，得到的回报就越多。

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

The greatest stories are those that reveal the complexity of human nature.

我们的目标是组织世界上的信息，使其普遍可访问和有用。