I don’t know about now, but 9th grade used to be a different division than high school in Oklahoma. Occasionally, like if the high school didn’t have anybody at a certain weight, a 9th grader could wrestle up, but it didn’t happen very often. City high schools didn’t include 9th grade, but most rural schools did.