Introduction to other deductions