Group of industrial workers.