判断两个λ表达式是否等价的问题是无法解决的。
即使在困难时刻,我也总是努力保持积极。
I don't mind being a role model. I embrace it. I just hope I'm a good one.