Compressed air may be used on shift and while men are in the mine, for breaking down coal or other materials.