Our miners followed these procedures to the letter, and that's what saved them. They sealed themselves in (underground refuges) so they'd have clean air to breathe.