"The ordinary becomes extraordinary when viewed through the right lens."
"To write is to make a mark, to leave a trace, to say 'I was here.'"
关键在于政府支出的效果取决于经济状况。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。