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.
写作是我唯一向自己解释自己生活的方式。