So Super Mario is about a plumber on a bad acid trip, right?