if hatsune miku was in the magnus archives universe would she be named hatsune michael