@cairdcoinheringaahing I feel like for really difficult challenges like this (and also, e.g. complement a POSIX regex), we need a new scoring criterion. The challenge lies largely in doing it in the first place, and [tag;code-golf] seems a bit rubbish. Something closer to
programming-puzzle, where it's really just the first person to post that deserves to win, and if they spend 10 hours finding 9 operations and proving 81 things, then someone else comes along with their superior golf knowledge but[1/2]