1, 2: The entrance to Cueva de Campuvijo. (photos: Peter Smith, November 2020)