Definition of Herder