Deduction in Cologne