Under ADX, every relation A⊆X×Xhas a uniformization. Let the first moves of Players I and II be x and y, and let II win when x is outside the projection of A or (x,y)∈A. Player I cannot have a winning strategy, so the first response of a winning strategy for II uniformizes A.