miners is a dangerous job, at any time may be trapped in the mine.