Don't think you can do that "The game shall contain a list of names which refer to specific entities in the real (extranomic) world." "The game and all entities existing within it have a persistent state which can only change as described by the rules." Therefore the list of names is within the game and hence can only change as described by the rules.