Consider the proposition
"When two lines intersect, they meet at a unique point."
Which of the following is its contrapositive?
When two lines do not meet at a unique point, then they do not intersect.
When two lines meet at a unique point, they intersect.
When two lines do not meet, they intersect at a unique point.
When two lines do not intersect, they do not meet at a unique point.