Words are not mere sounds or marks， but signs of facts.
過(guò)去的危險(xiǎn)是人們成為奴隸。未來(lái)的危險(xiǎn)是人們可能成為機(jī)器人。
小農(nóng)戶是全球農(nóng)業(yè)的支柱；賦予他們權(quán)力是我們的共同責(zé)任。
人一生不學(xué)習(xí)，一天閑過(guò)，一事無(wú)成，這是人生三件可惜事。
Quality is remembered long after the price is forgotten.
可持續(xù)性不是一種選擇；它是我們星球未來(lái)的必需品。
模型檢查是驗(yàn)證有限狀態(tài)并發(fā)系統(tǒng)正確性的強(qiáng)大技術(shù)。