质量比数量更重要。一个全垒打比两个二垒安打好得多。
Never put off till tomorrow what you can do the day after tomorrow.
真正的领导力是为他人服务,而不是命令他们。
The challenge in model checking is not just to find errors, but to understand why they occur.