age-hardening 〔of grease〕