this isn't super clear to me! it seems like balancing on the boundary of completeness. it seems like this argument is pretty well tied to the evaluation of modal, no?

if you have more thoughts about how this fits into the chomsky hierarchy, i'd love to hear about it, but this is plenty of motivation for me to play with modal :>