不要为成功而努力,要为做一个有价值的人而努力。
Every woman has her own kind of magic.
判断两个λ表达式是否等价的问题是无法解决的。