痛苦是不可避免的,但受苦是可以选择的。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."