最重要的是对你所做的事情充满热情。
The desire to be desired is the most powerful thing in the world.
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
"I am not interested in the individual, but in the whole."