Direct Deductions