对意义的追求比对幸福的追求更重要
"The pursuit of meaning is more important than the pursuit of happiness."
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.