我们始终坚持诚信经营，这是企业长久发展的基石。

A miner's safety should never be measured in cost-benefit analyses.

农业效率不是用更少做更多，而是用现有资源做得更好。

The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.

逻辑是最普遍的真理规律的科学。