This actually confirms my current view that the future of computation is specification in terms of constraints rather than rules. That has always been the holy grail of declarative programming, but it gets much clearer when non-textual constraint formulations enter the picture. One more point in favour of constraints: the history of science shows that constraint-based models are much more powerful than rule-based models (see https://blog.khinsen.net/posts/2020/12/10/the-structure-and-interpretation-of-scientific-models/ for the details).