nondeterminism almost working