Overview for deduction