最优雅的证明是那些清晰地揭示问题本质的证明。

判断两个λ表达式是否等价的问题是无法解决的。

"The world is full of magic things, patiently waiting for our senses to grow sharper."

I just got one more than Shaq. You can take that to the bank.

法律规范的有效性不取决于其内容，而取决于其产生的方式。

"The world breaks everyone, and afterward, many are strong at the broken places."

尝试一种方法是常识。如果失败了，坦率地承认并尝试另一种方法。但最重要的是，尝试一些事情。