nondeterministic space