I don't know how to make songs like that, I don't know what words to use. Let me know when it occurs to you.
我不知道怎么写那样的歌，不知道该用什么词。等你想到了告诉我。
The only way to learn mathematics is to do mathematics.
宁可别人对不起我，不要我对不起别人。
The mining industry has the power to transform communities, but only if we do it responsibly.
法律体系的概念预设了规则的概念。
I never guess. It is a capital mistake to theorize before one has data. Insensibly one begins to twist facts to suit theories, instead of theories to suit facts.
λ演算的基本概念是函数，被视为一种对应规则。