When I checked out the simple English version of the wiki page it mentioned that the language must also be able to actively change the state of the system and not just define it, which is subtlely different from just being about infinite recursive loops. I don’t know thought that might be interesting to add to the conversation