Defintion of a definition in the introduction