How work rights laws in these cases? When the corporation owns the rights to the IP but don't use them, I mean. Don't those rights return to the creators first before pass to public domain? Or the names first get free of trademark like what happened to the Captain Marvel name?