Deduction Substitute