... wrote the rule that “If males are assigned to Veblen South ... , then Wisteria North is assigned males”, I rewrote the contrapositive as ... Wisteria North isn’t assigned males as in if they are ... Veblen South is not assigned males, as in they are assigned ...