我喜欢有过去的女人，跟她们交谈总有说不出的乐趣。

The world is not a rectangle.

The more I paint, the less I care about what others think.

模型检查是验证硬件和软件系统正确性的强大工具。

"Take calculated risks. That is quite different from being rash."

神学家谈论一种先于恩典本身并使我们能够接受它的预防恩典。我认为还必须有一种预防勇气，使我们能够勇敢——也就是说，承认有比我们的眼睛所能承受的更多的美，珍贵的东西已经放在我们手中，而不做任何事情来尊重它们就是造成巨大的伤害。