to quench; to temper; to harden by quenching