And the workers took pay cuts earlier. A 40% increase is less impressive when you take a 15% cut first. (That’s a 19% net increase, but this isn’t based on actual numbers.)