if sinnoh was called hisui back then do you think other regions also had different names? johto is probably known as west kanto, alola probably has the word tapu in it's name and i don't know what unova would be but the new professor has already visited those places so he must know