Look, when it comes to Africa, I think it's one of the largest, if not the largest recipient of our development aid. Over $3.2 billion, which is 44% of our ODA, goes to Africa, so it's a large recipient.
When you talk about a vacuum, I think, if there's a vacuum, it's probably USAID's. The fact that the U.S. is going out and leaving that development world, where countries like China and others are—