数学中最令人兴奋的时刻是当你发现一些隐藏在显而易见之处的东西。
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.