Intelligent mining is the key to high-quality development in the coal industry.
质量不是一种行为，而是一种习惯。
We are all in the gutter, but some of us are looking at the stars.
我认为你不应该让任何人告诉你你能做什么或不能做什么。
Someone asked me what happiness is; I replied, not pursuing unnecessary things.
生产的最终条件是生产条件的再生产。
Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.