Federico y Ardenia (novela). See Agreda y Vargas, De