我们所见的和所知的关系从未确定。
The relation between what we see and what we know is never settled.
公司越大,越要从小处思考。
编写无错误程序的方式有两种:只有第三个有效。