And if they had ruled the other way, would he not have been a whistleblower?