again hunting for nondeterminism