@whitequark honestly seems more like the kind of thing that would end up in some "is this primitive turing complete" ML paper