Loneliness is the curse of nature to those who live in groups, and solitude is the only way out of loneliness.
"A writer's duty is to illuminate the shadows, to give voice to the silenced."
The freedom then of man, and liberty of acting according to his own will, is grounded on his having reason, which is able to instruct him in that law he is to govern himself by, and make him know how far he is left to the freedom of his own will.
判断两个λ表达式是否等价的问题是无法解决的。