If he is frozen, how did Aradia get to Doom-Dave? Like, was he let free as she disappeared, or is she doing it simultaneously?