Taxonomy, phylogeny and stratigraphical ranges of middle Permian pareiasaurs from the Karoo Basin of South Africa

Pareiasaurs were relatively abundant, globally-distributed, herbivorous parareptiles of the mid to late Permian. The basal-most forms, all members of the Bradysauria, are restricted to the Guadalupian (mid-Permian) of South Africa and went extinct in the late Capitanian near the top of the <i>Tapinocephalus</i> Assemblage Zone. Currently four species are recognized in this group: <i>Bradysaurus seeleyi</i>, <i>B. baini</i>, <i>Embrithosaurus schwarzi</i> and <i>Nochelesaurus alexanderi</i>. These taxa have been poorly defined historically and based on a limited number of specimens, leaving the taxonomic diversity of the group open to doubt and limiting their utility in biostratigraphy. Here, we present our fourth and final contribution to improve the understanding of this group by providing a taxonomical and phylogenetic review, updated stratigraphical ranges, and updated diagnoses for each taxon within Bradysauria. <i>Bradysaurus seeleyi</i> is synonymized with <i>Bradysaurus baini</i>, resulting in three valid mid-Permian pareiasaur taxa: <i>Bradysaurus baini</i>, <i>Embrithosaurus schwarzi</i> and <i>Nochelesaurus alexanderi</i>. Our cladistic analysis of cranial and postcranial characters supports the monophyly of Bradysauria with five synapomorphies. <i>Embrithosaurus schwarzi</i> is recovered as the sister taxon to a clade containing <i>Bradysaurus baini</i> and <i>Nochelesaurus alexanderi</i>. By identifying 157 pareiasaur specimens in fossil collections we show that the Bradysauria are stratigraphically restricted to the Abrahamskraal Formation of the Beaufort Group and suggest a staggered appearance. <i>Bradysaurus baini</i> is first to appear, followed by <i>Nochelesaurus alexanderi</i>, and lastly by <i>Embrithosaurus schwarzi</i>. All three taxa perished during the Capitanian mass extinction, and have their highest occurrences near the top of the Abrahamskraal Formation.