Part of what you must learn is how to handle mistakes and new facts that change the odds.Life, in part, is like a poker game wherein you have to learn to quit sometimes when holding a much-loved hand.
你必须学会的一部分是如何处理错误和改变胜算的新事实。生活在某种程度上就像一场扑克游戏，当你拿着一手心爱的牌时，有时必须学会放弃。
模型检查是验证有限状态并发系统正确性的强大技术。
每个故事都是一次旅程，每次旅程都是一个故事。
Life is too short to hold grudges.
A wise man will make more opportunities than he finds.