george_adams comments on Jemist’s Shortform

[george_adams]

More evidence here as well: nondeterminism, STEVE-1 nondeterminism.