模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

"The artist is a receptacle for emotions that come from all over the place: from the sky, from the earth, from a scrap of paper, from a passing shape, from a spider's web."

I think the most important thing in life is to be yourself. Unless you can be Batman. Always be Batman.

Precision measurements in astronomy open new windows to understanding the universe.

"Good research is about asking the right questions, not just applying fancy methods."

过度捕捞的真正代价是用空网和破碎的生态系统来衡量的。