to extinguish, to put out, to quench