我给你做了一个很大的巧克力圣代，作为你的饭后甜点，可是我不得不自己把它吃了，因为广播上说冰激凌对狗不好。失望对狗也不好。”
我感到兴趣的是:为所爱而生,为所爱而死。
解析：这句话揭示了道的本质：道是可以阐述说明的，但并非寻常的道理；名是可以命名的，但并非通常的名称。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Profit and purpose are not opposites—they're the twin engines of 21st century business.