sẽ không bao giờ có một thuật toán nào có thể tìm ra tất cả các lỗi trong một hợp đồng