It also doesn't require a super-universe with identical properties and constraints.

There's no guarantee their logic is the same as our logic. It needs to be able to simulate our logic, but that doesn't mean it's defined or bound by it.