So the investors and founders would have converted $4B in Twitter stock to cash almost 1:1, that's not bad.