to extinguish a fire is to put it out.