 They said, oh, well, we didn't get the red wave and we lost the House of Delegates in the Senate. But actually, if you look at the number of voters that came out, it's basically the same between Republicans and Democrats. Do you feel as though for the longest time when I was growing up, we heard about the military community in Virginia. Have they shrunk in size or have they begun to diversify and become as much Democrat as Republican? It used to be when you saw a military base, you thought that's a bunch of Republicans, conservatives.