Итоги голосования для комментария:
Александр
меня мало интересует «общий случай» и правила за пределами правил игр
правило игры перестает быть правилом игровой группы, если игровая группа не пользуется этим правилом в своих играх
Таким образом получается, что в игровой группе, где одна половина использует правила, а другая не использует получается:
И правилом игровой группы, и перестаёт им быть, верно? «Правило Шрёдингера»?