Hyperarithmetical Worm Battles | Publicación