They still have plenty of cash. They're not going to spend...

They still have plenty of cash. They're not going to spend $25 billion on the first day. This is just what they're allowed to buy back if they feel the timing right.