 What about the fact that they've spent how much? They appropriated $42 billion for Wi-Fi, and the FCC commissioner, Brendan, no relation, wouldn't mind if it was because it seems pretty good. But he says they haven't extended Internet service to anybody for $42 billion. And what was it for building the charging stations? That was $7 or $8 billion. They have eight charging stations.