The complicated art of deduction