Thaumastus species. A–BT. (Thaumastus) taunaisii (Férussac, 1822), lectotype of Bulimus achilles Pfeiffer, 1853, NHMUK 1975268 (H = 58.0) C–DT. (Thaumastus) buckleyi (Higgins, 1872), syntype NHMUK 1875.5.2.6 (H = 92.0).