> Even if it's not a formal part of the game state, it probably > still is a useful thing to keep track of informally, though. If it's felt that the rule is too complex, we needn't pass it, although I'd have thought agreeing to keep track of it informally would be somewhat pointless if the definition isn't popular.