We need to design policies that work with human psychology, not against it.
我们需要设计符合人类心理的政策,而不是与之相悖。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
房间不是一个地点,而是一个事件。
If you can't explain it simply, you don't understand it well enough.