Beginning of introduction of DefinitionHeader