The "no strike" clause is valid only so long as the contract is valid and that ends May 31 as I understand it.