矿工干得更卖力。