That miners are commonly called industrial.

Are bad, and enemies, and do, nay, must, now and then indirectly in all branches of production of capitalist production.