Definition of "hardens"