Is the Mario Mandate dead now?