A proof is a way to convince yourself and others that something is true.
证明是一种让自己和他人相信某事为真的方式。
Oh, to be in England now that April's there.
We're here to put a dent in the universe. Otherwise why else even be here?
If liberty means anything at all, it means the right to tell people what they do not want to hear.
A 'performative' utterance is not true or false， but happy or unhappy.