Input (grade 9): The name Oklahoma comes from the Choctaw phrase okla humma, literally meaning red people.
Output (grade 5): The name Oklahoma comes from the Choctaw phrase okla humma.