Earth provides enough to satisfy every man's needs, but not every man's greed.
保持专注,专注于你的目标。
判断两个λ表达式是否等价的问题是无法解决的。