煤矿习惯把以（）为主的有害气体叫矿井瓦斯。