Every decision we make today will echo in the future of our oceans.
历史总是由胜利者书写的。
判断两个λ表达式是否等价的问题是无法解决的。