Yes, and that Congress gave them $10 billion more than they were even asking for.