Currently playing: Infinite games with infinite people