[brudgers]

There's a linguistic problem. Assume there are real-computers [or real-holograms]. Inside the simulation the word "computers" refers to simulated-computers. Even if we invent the term "real-computer" inside the simulation it's fully qualified referent is simulated/real-computer. Global variables aren't global to the extent their referent persists across system boundaries.

Sysadmin privileges are required to configure the same name to the same value across systems. Once a proof assumes there is a sysadmin, we have to rely on faith along with our reason.