判断两个λ表达式是否等价的问题是无法解决的。
All animals are equal, but some animals are more equal than others.
译文:世人有时会遇到意想不到的福运,有时也会遇到意外的灾祸。
"The world is full of magic things, patiently waiting for our senses to grow sharper."
You can't love everybody, but you can be kind to everybody.