Visual deduction