The legacy of the coal industry will be defined by what we do today.
SINCERITY. Use no hurtful deceit; think innocently and justly, and, if you speak, speak accordingly.
诚恳:不要恶意欺骗人,思想纯洁公正,讲话也是如此。
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。