Ah this is super helpful. I’m here stuck thinking “just pick any element at random”. Needing to have deterministically consistent pickings from infinite sets makes the problem clear and much more interesting.