Limited nondeterminism