 Orange County really flipped and became more registered Democrats in 2019. But that shift had been going on for quite some time where you could see a trend of registered Democrats rising over registered Republicans. Orange County has, as you said, long been thought of as this massive GOP stronghold, kind of an outlier in California. But Orange County, like a lot of places, is becoming more diverse. We've had more Latino and Asian voters becoming registered voters.