That's super cool! Thanks for explaining. Just to clarify myself - when I was thinking of automation I was not thinking of AI, or at least not how its popularly understood these days. I was thinking more like how 2D mazes can be automatically made by non-AI methods. Uncrossy would need a kind of constraint solver that can navigate words lexically and the spatial intersection of words (and their possible slides). I'm certainly not telling you anything you don't know. There are some algorithms for these (general) kinds of constraint satisfaction problems and they long pre-date "AI", but I think the application to uncrossy and refinement would be quite challenging.