to extinguish a fire