For context for those who don't know, they were cartoon characters made in the 30s by Van Beuren Studio, then in 1940 the famous cat and mouse were created with the same names by huge coincidence, so they had to change names afterwards lol