现代林业必须平衡三个轴心：生态、经济和道德。
Modern forestry must balance three axes: ecology, economy and ethics.
精准农业不是在取代农民，而是在赋予他们力量。
数学不仅仅是人类的发明；它具有一种独立于我们而存在的深刻现实。
The market is always looking for the next big thing.
He who fights with monsters should be careful lest he thereby become a monster.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."