4 deduction: 연역법