Might as well just include everyone's games inside of everyone else's game as nested entities whose microstates determine the above games macrostates. This is

Might as well just include everyone's games inside of everyone else's game as nested entities whose microstates determine the above games macrostates. This is very similar to Reflective Towers Of Interpreters: https://blog.sigplan.org/2021/08/12/reflective-towers-of-interpreters/ https://blog.sigplan.org/2021/08/12/reflective-towers-of-int...