The higher the expectations, the harder I work.

我不是来追求完美的，我是来展现真实的。

There are two freedoms - the false, where a man is free to do what he likes; the true, where he is free to do what he ought.

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