Which does not make it unpredictable, if specifically 'non-deterministic'
was meant. If something like 'halting' was, then sorry, but all languages
are in the same position [was it about a language?] If that was about
non-functional constraints (like real-time issues), then, well, RA is not
in a beacon position here.