"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
 释义:不和他人去争名利上的得与失,只求自己能够拥有和增长智慧与才干。
The only person you should try to be better than is the person you were yesterday.