Non-deterministic selection - init version