"A good book should leave you... slightly exhausted at the end. You live several lives while reading it."
一本好书应该让你在结束时感到...略微疲惫。阅读时你经历了多重人生。
The only thing necessary for the triumph of evil is for good men to do nothing.
模型检查是验证硬件和软件系统正确性的强大工具。