We must fish with the future in mind, not just the present.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
身为爱尔兰人就是要明白,这个世界终将让你心碎。
One is not struck by the truth until prompted quite accidentally by some external event.