But the big issue is that it hasn't been overturned. If it was deemed not a red, there are rules in place to appeal and overturn them. But instead, something else unprecedented happened, where the red still stands as correct, but the punishment has been removed.
That is not right and proper.