So Mario is Sonic now