Traffic gridlock is really terrible around DC, we hear, and it's getting worse due to more people or cars or something.