why would anyone want more non-determinism than absolutely necessary?