【译文】 孔子说：“读书不想事，越学越糊涂；想事不读书，越想越头痛。”

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

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

Literature is the art of making the invisible visible.

投资的最佳时机是当别人恐惧的时候。