Persistence is just as important as intelligence in research.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

拥有股票就像有孩子一样——不要涉足超过你能处理的数量。