While mining, the miners should be wearing their helmets.

• 采矿时,矿工们必须代号头盔。