Before revision: A fixed set of n agents share a random object : the distribution \mu of the profile of utilities is IID across periods, but arbitrary across agents.
After revision: A fixed set of n agents upon arrival : the distribution \mu of the profile of utilities is IID across periods, but arbitrary across agents.