I think it’s true to say that the firemen’s strike got the military a pay rise. The military personnel sent in to replace the firemen over the Christmas period (and obviously not allowed to strike) were on considerably less pay. One of the good things that the Thatcher government did.