 They kept coming to them. They kept rejecting it. There are some nuances about that particular school district that might fuel the reason why it ended up that way. There are some people that are technically in the Thompson School District but are way up on the north end of the district, and their kids have always gone to Grand Forks Public Schools through an open enrollment that if you drove out there, you wouldn't realize is even necessary. And so I've heard before that the only time you've ever seen those people in Thompson –