[Nomic] Proposal

[Jonathan David Amery]

 I propose the following rule:

5. There shall be a list of {real name, pseudonym} pairs; with one
entry for each player in the game.  Initially the pseudonym entry in
each pair will be unset.  At any time a player with an unset pseudonym
may set their pseudonym to any legal string, provided that that string
isn't lexically equivilent to any game entity, player's real name or
player's pseudonym.  If a player has a non-null pseudonym set then
their pseudonym and their real name may be used interchangably within
the context of the game.