The names aren't included here and don't matter a jot for the point I am making. Chicago theater needs to be a community again.