Switched to Q, something nondeterministic happens