Simplified Deduction Scheme