Deduction view 1