AylerKupp: <<Brenin> The pun refers to the official rock song of the State of Ohio.>The things one learns by visiting <chessgames.com>! I liked the Ohio state house's Concurrent Resolution no. 16 (Why concurrent? What else were they debating at the same time?). Particularly the incorporation of some of the song's lyrics into the resolution.
Wouldn't it would be nice if current state assemblies were able to have such a good sense of humor? Just like https://www.youtube.com/watch?v=dmc....
But, of course, your post made me think, always a bad thing. Apparently, per https://en.wikipedia.org/wiki/List_..., all states except New Jersey have an official state song, although it's not always explicitly labeled as such. And some states have more than one, although I don't know how they reconcile that and how they decide which one to play at appropriate state events.
But there are many song categories other than "official". They include Companion, Cowboy, Emeritus, Environmental, Glee Club, Historical, Honorary, Patriotic, Popular (the opposite, I suppose of Unpopular), Spanish, and Traditional. New Hampshire is apparently the most musical state, with 2 official songs and 8 honorary songs.
And only Ohio has an official Rock Song. But Washington State has an unofficial Rock Song, "Louie Louie". I wonder how many times their legislature listened to it in order to make out what the lyrics were.
But there are other musical categories besides songs. These include Anthem, Ballad, Bluegrass, Cantata (!), Hymn, Lullaby March (both Regular and Ceremonial). And there are dances too; Polka and Waltz. And non-musical official things as well, Odes and Poems.
It looks like our state legislatures have had a lot of time on their hands over the years.
Now, to keep this post somewhat on-topic (it's never too late!), listen to https://www.youtube.com/watch?v=62G... from the musical "Chess" while watching today's Norway Altibox 2020 games. Better than listening to Kramnik and Polgar (no, just kidding).