The Level IV multiverse does not imply that all imaginable universes exist. We humans can imagine many things that are mathematically undefined and hence don’t correspond to mathematical structures. Mathematicians publish papers with existence proofs that demonstrate the mathematical consistency of various mathematical-structure descriptions precisely because to do this is difficult and not possible in all cases.