当现实折过来严丝合缝地贴在我们长期的梦想上时，它盖住了梦想，与它混为一体，如同两个同样的图形重叠起来，合而为一。

In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.

Innovation distinguishes between a leader and a follower.