I believe that the most important single thing, beyond discipline and creativity, is daring to dare.

我是一个战士。我相信善良，我相信善良终将战胜邪恶。

处处为家就是无处为家。

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.