Clause deductions