"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
人类似乎有这样的倾向,建立一项规则叫别人遵守,同时又极力使自己成为例外,不受它的约束。
Love is the greatest masterpiece.