Definition of GAVELKIND