最好的决策是那些既造福人类又保护地球的决策。
The best decisions are those that benefit both people and the planet.
做企业要像农民种地一样，脚踏实地，不能急功近利。
我爱你，我是个怪物，但我爱你。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。