In Step REF  of our strategy we eliminate the rotations of a maximum profile closed subset of the rotation poset from the man-optimal stable matching. We now present Lemma REF , an analogue of [1]}, which shows that eliminating a maximum profile closed subset of the rotation poset from the man-optimal stable matching results in a rank-maximal stable matching.
