Life is too short to hold grudges.
每个魔法师都有不同的看待世界的方式，这正是他们的魔法独特之处。
最令人兴奋的突破往往来自意想不到的地方。
了解自己的黑暗是应对他人黑暗的最佳方法。
The poet is a man who can see the invisible and hear the inaudible.
模型检查是验证有限状态并发系统正确性的强大技术。