Nếu bất kỳ giá trị nào ảnh hưởng đến phương trình xác minh không được băm trước khi thách thức liên quan được tạo ra, người chứng minh có thể thấy thách thức trước khi chọn giá trị đó. Chọn giá trị để làm cho phương trình vượt qua. Bằng chứng xác minh. Câu tuyên bố mà nó chứng minh có thể hoàn toàn sai.