Pero la laguna no es mencionada ni por Cicerón ni por Diodoro Sículo, que sí que mencionan la cueva.