"I think it's important to write about real life, even if it's tough."

You miss 100% of the shots you don't take.

The ocean doesn't belong to any one nation; it's a shared resource that requires global stewardship.

权力不是手段；它是目的。人们不是为了保卫革命而建立独裁；而是为了建立独裁而进行革命。

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