"A book is a dream that you hold in your hand."
成功很好，但那不是我创作音乐的原因。
领导力在于激励他人看到他们可以共同实现的潜力。
君子作战虽然布阵,但还是以勇敢为本。
Every tree planted today is a promise to tomorrow.
判断两个λ表达式是否等价的问题是无法解决的。