你越个人化，就越普遍化。
The more personal you are, the more universal you become.
Every mental state exists for a purpose; to understand it, we must ask what function it serves in the broader system of behavior.
"In the end, we are all just fragments of the stories we tell ourselves and others."
模型检查是验证有限状态并发系统正确性的强大技术。
最有效的调试工具仍然是仔细的思考，再加上明智放置的打印语句。