The old believe everything; the middle-aged suspect everything; the young know everything.
We are the real countries, not the boundaries drawn on maps with the names of powerful men.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。