Simple non-determinism
