Oklahoma City, officially the City of Oklahoma City, and often shortened to OKC, is the capital and most populous city of the U.S. state of Oklahoma. From Wikipedia
The 4-4 split leaves the Oklahoma Supreme Court's ruling in place, barring taxpayer funding for the proposed Catholic virtual charter school.