我不是为评论家做音乐,而是为真正听音乐的人做的。
最好的领导者不是创造追随者,而是创造更多的领导者。
真相很少是纯粹的,也从来不是简单的。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。