Deduction verification guidelines