Kitchen's deduction