The existence of a legal system depends on the acceptance of secondary rules by officials.
程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
The only way to do great work is to love what you do.
The solution of a problem appears suddenly and is not approached by a gradual, step-by-step procedure.