We are all afraid—for our confidence, for the future, for the world.
写作是一种发现你所想的方式，一种探索世界和你在其中位置的方式。
在共和政府中，人人平等；在专制政府中，人人也平等：在前者中，因为他们是一切；在后者中，因为他们什么都不是。
我们发现的每一颗新行星都让我们更接近回答这个古老的问题：我们在宇宙中是孤独的吗？
Change is inevitable; how you respond defines your success.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。