我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
Truth and clarity are complementary.
The elements of consciousness are to be studied in isolation.
The healthy social life is found when in the mirror of each human soul the whole community finds its reflection, and when in the community the virtue of each one is living.
我专注于我能控制的事情，我无法控制人们对我的看法或言论。
