Hi @blah170blah, I thought that the sentence that contains the condition in which the company allows Ann to leave was a bi-conditional and therefore we could get the contrapositive of the bi-conditional by negating both terms.
Hey @"David Kim"! I couldn't tag you on the post but this is answered in the curriculum. Scroll down a bit in the comments on the first embedded conditional lesson. JY answered this question.