Fixed non-determinism