 For the primaries that are occurring, almost all of those delegates have actually been accrued by President Biden. But there's really no law that's governing this. It's really just the parties. And so the party official nomination occurs in the summer. That's where any