Identifying Mistakes and Verification