A mathematician's best work often comes from seeing connections where others see none.
"Life is a shipwreck, but we must not forget to sing in the lifeboats."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
一家公司的真正价值取决于它对患者生活的影响。