Yeah, but the union rules might allow his demotion but not a decrease in pay. I know some departments where your retirement amount is based on highest 3 years of pay. If that is the case here, he’s just losing seniority and shifts and not not much else.