(Haptodus,(Dimetrodon,Edaphosaurus,Phthinosuchus,Phthinosaurus,Eotitanops,Gorgodon,Biarmosuchus,Archaeosyodon,Eosyodon,Estemmenosuchus,Dimacrodon,Otsheria,(Gorgonopsian,(Brithopodan,Dicynodont))));