But that's not the point. The point is that without loss of generality each person can assume that the people before have all found their own names. If not th

But that's not the point. The point is that without loss of generality each person can assume that the people before have all found their own names. If not then it makes no difference what they do, they're all doomed. Unless I've misunderstood you.