Every lock has a key, every problem has a solution.
每把锁都有钥匙，每个问题都有解决方案。
房子里最重要的房间是人与人之间的空间。
To write is to bear witness to the world's beauty and cruelty.
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
I don't sing because I'm happy. I'm happy because I sing.
