Restated: People are good at following an implication, but bad at deriving the contrapositive.