好的机制设计能将个人激励与社会目标对齐。
A good mechanism design aligns individual incentives with social goals.
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."