Title: Preventing fatal explosions in coal mines