Partes de la especificación: