There are two ways to write error-free programs; only the third one works.
编写无错误程序的方式有两种：只有第三个有效。
"The world is a game, and the game is a mirror."
真相很少是纯粹的，也从来不简单。
A proof is a way to convince yourself and others that something is true.