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.
Man is not by nature a social animal.
I don't sing because I'm happy; I'm happy because I sing.