I believe in the power of music and dance.

The only way to do great work is to love what you do.

The root of all superstition is that men observe when things hit， and not when they miss， and commit to memory the one， and pass over the other.

The art of diplomacy is to understand desires of others and to find a way, where they think they get what they want.

判断两个λ表达式是否等价的问题是无法解决的。