如果你在家里找东西，最后找到了，用完之后，不要把它放回你最终找到它的地方。把它放回你最先去找的地方。
If you are looking for something in your house， and you finally find it， when you’re done with it， don’t put it back where you found it. Put it back where you first looked for it.
Profit is important, but purpose is what sustains a business long-term.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
Sustainability isn't an option; it's a necessity for the coal sector.
我不完美，但我始终是我自己。