Đây là một quy tắc tốt về tính chính xác của mã. Tất cả mã mà bạn chưa thử nghiệm đều sai. Tất cả mã mà bạn đã thử nghiệm cũng sai, nhưng có vẻ như hoạt động một cách ngẫu nhiên. Và mã mà bạn đã chứng minh là đúng lại làm điều sai, một cách chính xác.