The measure of a civilization is how it treats its artists.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
解释:对于一件事情的利害得失,只有有智慧的人才能分辨清楚。