My right hon. Friend has this recommendation under consideration, but we are not yet in a position to make a definite statement. With regard to the second part of the Question, during the 10 years, 1938–1947 inclusive, there were 19 explosions of firedamp or coal dust, involving 65 deaths, due to matches or smoking, etc., in British mines where safety lamps are used.