to quench [ quenched ; quenched ]