I don't create utopias, I depict reality.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The boldness of his mind was matched by the candor of his speech.
太阳升起前的黎明是最黑暗的。
Nature is the best teacher; it has already done the experiments, we just have to interpret them.