Isn't this nondeterministic?