I can't figure out how we would know if it has started, or what the status is. If its true that the SEC limits the amount of repurchases to 25% of the ADTV, then any repurchase transactions would be very small, and wouldn't be distinguishable from an otherwise normal trade.