Good point. It’s been a long time since I’ve read the old Bad Machinery stories.