Without nondeterministic part