“…The Prozostrodontia contain several unranked taxa (e.g., Prozostrodon , Therioherpeton , Alemoatherium , Botucaraitherium ), as well as two well-known major clades, the Tritylodontidae and Tritheledontidae, both closely related to Mammaliaformes ( Hopson & Kitching, 2001 ; Liu & Olsen, 2010 ; Soares, Martinelli & Oliveira, 2014 ; Martinelli et al, 2017a ; Martinelli et al, 2017b ). The Tritylodontidae are a group of medium-sized (basal skull length, BSL ∼50–250 mm) highly specialized herbivorous prozostrodontians that arose during the Late Triassic and went extinct during the Early Cretaceous (e.g., Clark & Hopson, 1985 ; Sues, 1986 ; Matsuoka, Kusuhashi & Corfe, 2016 ). The Tritheledontidae are a group of small (BSL ∼30–70 mm), faunivorous/frugivorous forms that existed from the Late Triassic to Early Jurassic ( Kemp, 2005 ; Gow, 1980 ; Martinelli et al, 2005 ; Martinelli & Rougier, 2007 ; Soares, Schultz & Horn, 2011 ).…”