证明的目的是理解，而不仅仅是验证。
The aim of proof is to understand, not just to verify.
The city is a book written by its inhabitants.
我不知道什么更紧，是我的牛仔裤还是我的安保。
I’m not a guy that’s going to let myself down.
If we treat the ocean as a limitless resource, we will soon find it is anything but.
She walks in beauty, like the night
家不是你出生的地方，而是所有逃离企图终止的地方。
I want to make music that makes people feel something.
音乐可以治愈心灵，我希望我的歌可以帮助人。
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.