“…To these I have added: the very well known caseid caseasaur Martensius (Berman et al, 2020); the sphenacodont material currently called "Haptodus garnettensis", in order to sample secure pan-mammals (although these specimens probably do not belong to Haptodus, and may not be monophyletic with respect to other sphenacodontians, which are, however, not sampled here) (Laurin, 1993;Spindler, 2015); the edaphosaurid pan-mammal Ianthasaurus (Reisz & Berman, 1986;Modesto & Reisz, 1990;Mazierski & Reisz, 2010;Mann et al, 2023a); the ophiacodontid pan-mammals Ophiacodon (Williston and Case, 1913;Romer and Price, 1940) and Varanosaurus (Watson, 1914;Romer and Price, 1940;Sumida, 1989;Berman et al, 1995), which are quite different from each other (including Archaeothyris, the likely sistergroup to all other ophiacodontids, is currently impractical); the varanopids Ascendonanus (Spindler et al, 2018) and a composite of Mesenosaurus romeri, M. efremovi and Cabarzia (Reisz & Berman, 2001;Spindler et al, 2019;Maho et al, 2019) to better represent Varanopidae -note that M. efremovi is exclusively known from skulls, so it cannot be compared directly to Cabarzia, known only from a head-and neckless articulated skeleton, meaning that its genus assignment (Maho et al, 2019) is arbitrary; Thuringothyris, thought to be the sister-group of Captorhinidae Müller and Reisz, 2006); Euconcordia, the oldest captorhinid (Müller and Reisz, 2005;Reisz et al, 2016), to further break up the long branch of Captorhinus (Müller and Reisz, 2006); Opisthodontosaurus, a captorhinid that is very similar in some respects to the gymnarthrid microsaur Euryodus (Reisz et al, 2015) and has played an important role in connecting captorhinids and microsaurs in Pardo et al (2017) through Pardo ( 2023); Brouffia, a Paleothyris-grade animal reported (Carroll and Baird, 1972) to have dorsal dermal scales -a plesiomorphy widely retained in microsaurs (and adult lysorophians: J. Pardo, pers. comm.…”