Simple non-determinism