判断两个λ表达式是否等价的问题是无法解决的。
帮助别人，做善事，最令我愉悦；认真读书，重修养，最为人赞许。
Color is my day-long obsession, joy, and torment.
"El arte es la única manera de escapar sin salir de casa."
The most successful investors are those who can maintain a long-term perspective and avoid short-term distractions.