I wonder is this whole setup just to exit their TRS bet. The size of TRS 1,964,155 share is roughly around $1B if the price is around $500 per share. So if they close the TRS bet after the auction, they pretty much locked in the buyback price at $372.