This task supports students' understanding of why a logical implication and its contrapositive are logically equivalent.