Email Record: Notes on prevention of dust and gas explosions in coal mines.