什么是 hardener？One that hardens, especially a substance added to varnish or paint to give it a harder surface or finish.