Unbounded nondeterminism controversy