“The Board also voted to change the name of Roosevelt Middle School, even though no one was sure whether it was named after Theodore Roosevelt or Franklin Delano Roosevelt. Better safe than sorry. By the way, the Board does not have new names chosen for the schools. It just wants to get rid of the old ones.”
Just number them. That’s what the Soviets did, after all.