真相是，我们都在等待某些事情发生，即使我们不知道那是什么。

So what I want to argue for is not that we should give up on our ideas of success, but we should make sure that they are our own. We should focus in on our ideas, and make sure that we own them; that we are truly the authors of our own ambitions. Because it's bad enough not getting what you want, but it's even worse to have an idea of what it is you want, and find out, at the end of the journey, that it isn't, in fact, what you wanted all along.

You want to be extra rigorous about making the best possible thing you can.

领导力在于引导他人看到他们所做事情的价值。

The development of formal systems has revolutionized our understanding of mathematics.