Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.

真相很少是纯粹的，也从不简单。

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.