I'm not going to let anyone tell me what to do.
穷人并不懒惰;他们只是被困在一个让他们很难摆脱贫困的系统中。
智者的道路是一条不断上升的坡道。
判断两个λ表达式是否等价的问题是无法解决的。