Video S4 from Digging the optimum pit: antlions, spirals and spontaneous stratification R. FranksNigel WorleyAlan FalkenbergMax B. Sendova-FranksAna ChristensenKim 2019 Average pit development for a spiral of initial radius r = 50