Definition of "richens"