What Is a Dependent Deduction?