The role of the artist is to ask questions, not to provide answers.
判断两个λ表达式是否等价的问题是无法解决的。
"Pressure is a privilege—it only comes to those who earn it."