The justification of deduction