No, enrollment-based classification was used as recently as 2021, before the last two years of Metro-Suburban. So we have complaints about Metro-Suburban, complaints about enrollment-based, complaints about mandatory district play. And anyone thinks there's a chance of coming up with a system that makes 500 schools happy? But I'll agree with your last paragraph.