 moved to what they call a top two system. So he got rid of the Democrat primary and the Republican primary. Oh, no, I totally agree. That's recent, though. I think it was 2010. Is it? Okay, I didn't know. And so what you saw there... It effectively eliminates the Republican Party.