Technically accurate.
A union that isn't allowed to legally strike when needed isn't a useful union though. The state that ATC has been in for the decades after that suggests to me that they were correct to strike.