"If males are assigned to Veblen South, then Wisteria North ... contrapositive of this as such: "If Wisteria North is **not** assigned males, then ... not** assigned males." And then translate that, since the ... , to: "If Wisteria North is female, then Veblen South is ...