Definition:

hardeners