We give (conjecture) a universal property of the Elgot monad, i.e. monad supporting iteration, that sends each set X to the set of nondeterministic strategies for a game where play can end by returning an element of X, where the representation of the strategy includes infinite traces.