Depends how fundamental the variables are. If we can code a sim for a topos[1], why can’t we be in such a sim?

1. https://arxiv.org/pdf/1012.5647