煤矿工人不仅仅是在挖土,他们是在挖掘进步。