(See Extinguishing a fire)