>The properties of the simulating universe, including foundational things like rules of logic and mathematics, could be literally unimaginable (by design or accident) within the simulation.

This could be the quadrillionth iteration by which point they'd be pretty confident though.