So Mike is running, not Michael. How many millions was spent on fuckus groups to pick his name?