Tetrapoda Hatschek & Cori 1896 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. see Clade Tetrapoda Hatschek & Cori 1896 [Laurin 2020]
   Amniota Haeckel, 1866 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. - amniotes see Clade Amniota Haeckel 1866 [Laurin & Reisz 2020]
     Synapsida Osborn 1903 [Gauthier et al. 1989], nom. cl. inval. see Clade Synapsida Osborn 1903 [Laurin & Reisz 2020]
       Therapsida Broom, 1905 see Clade Therapsida Broom 1905 [Rowe 2020]
         †Eutheriodontia
           Cynodontia Owen 1861 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. see Clade Cynodontia Owen 1861 [Rowe 2020]
             Genus †Procynosuchus Broom, 1937