Interjection

I'd just like to interject for a moment. What you’re referring to as Mario, is in fact, NINTENDO/Mario, or as I’ve recently taken to calling it, NINTENDO plus Mario. Mario is not a brand unto itself, but rather another free component of a fully functioning game made useful by the NINTENDO developers, supporters, gamers and contributers components comprising a full game as defined by developers. Many games use assets of a NINTENDO system every day, without realizing it. Through a peculiar turn of events, the company NINTENDO which is widely used today is often called just “Mario”, and many of its players are not aware that it is basically the NINTENDO company, developed by NINTENDO. There really is a Mario, and these people are playing with him, but it is just a part of the game they use. Mario is the brand: the character in the game that allocates the player's movements to the other game functions that run in the background. The character is an essential part of a game, but useless by itself; it can only function in the context of a complete game. Mario is normally used in combination with the NINTENDO company: the whole game is basically NINTENDO with Mario added, or NINTENDO/Mario. All the so-called “Mario” games are really games of NINTENDO/Mario.