Diplomacy requires enduring patience and steadfast determination to drive the resolution of complex issues.

Literature is the memory of humanity.

出自《晓窗》。少年的时候听见鸡鸣的叫声正在熟睡，老年的时候听见鸡鸣就起床了。千古以来万代的人们，都消磨在几声鸡鸣里了。

模型检查是验证有限状态并发系统正确性的强大技术。

勇敢是美德之首。