Completely missing from the excitement over the 25th anniversary of the miners\’ strike was the most interesting point about it. Our coal industry went into the strike with 187,000 miners and 174 pits, of wildly varying efficiency. Four years later the inefficient pits were closed and the workforce cut by two-thirds. Yet output, at 100 million tons a year, was much the same as before the strike. Productivity had trebled.