Sin embargo, casi todos los espeleólogos denominan 'estafilitos' a las estalactitas de lava, que son mucho más abundantes que las estalagmitas.