So far, four caves have been discovered in the lens cave group, so named because of a freshwater lens on top of an otherwise saline lake.