In a game of reputation: if everyone can change their name in
the game how would the various players play and what would be the
outcome.