Twitter has a shareholder meeting on May 25th, could/would they stop this? Or will it be a done deal by that time?