Look back at my WNSH posts. There is a link to the SEC rules concerning buybacks. They don't have to, but if they want the 360MM shares retired before an RM, then yes that is what they would have to do.