reduced nondeterminism