pertenece a la ABox.