It's worth keeping in mind that "there exists X such that Y is true" is not the same as "Y is true for all X". People love using these sorts of statements since they're technically true as written, but most people will read them in a way that's false. Eg, the statement is true for the Minecraft demos, and for any model which doesn't exhibit literally zero persistence for (temporarily) non-visible state.
