成功不在于目的地，而在于旅程。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

倘若有人能指出你错了，你为何还要介意？

"The world is not a stage, but a madhouse. The actors are not performers, but inmates."