如果你感到迷茫,就看看自己的内心。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
心要安放在身体里(指心要专注内守)。