The deduction process