Definition of Gavelkind