A friend is someone who knows all about you and still loves you.
朋友就是那个了解你的一切却依然爱你的人。
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.