Abduction is not Deduction-in-Reverse.