重要的东西用眼睛是看不到的……就好比花一样。假如你喜欢某个行星上的一朵花，在夜晚仰望星空的时候心情就会很愉快，感觉所有的行星都开满了花。

Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

幸福的唯一途径是做真实的自己。

美德比恶德更值得担忧，因为它的过度不受良心的调控。

以诚待物，真诚是通行天下的原则。