Direct Deduction Order