es consistente con la especificación.