Wouldn't that have been taken into account when the $12.5 billion was allocated? Or was the $12.5 billion just meant to be the first allocation and they knew substantially more would be need later?