When you do something best in life, you don’t really want to give that up – and for me it’s tennis.

最民主的建筑是为每个人服务的建筑。

The natural and moral world is the two-fold object of man's rational care.

史记

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。