Is that true? My reading is that there are two separate reasons for raising the money. They want $600 million to buy employee stocks so that the employees aren't foisted with a big tax bill, but they've also got a separate $2.5 billion tax bill that they need to cover unrelated to the RSU stuff.