Vertebrata Cuvier, 1812 - vertebrates see Infraphylum Vertebrata Lamarck, 1801
   Gnathostomata
     Teleostomi Bonaparte, 1836
       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]
           Class Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
             Subclass Diapsida Osborn, 1903 - diapsids see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
               Infraclass Archosauromorpha Huene, 1946 see Clade Archosauromorpha Huene 1946 [Benton 1985], nom. cl. inval.
                 Superorder Archosauria Cope, 1869 - archosaurs see Clade Archosauria Cope 1869 [Gauthier & Padian 1985], nom. cl. inval.
                   Order †Thecodontia Owen, 1859 see Division Archosauria Cope, 1869
                     Suborder †Proterosuchia Broom, 1906 see Order Proterosuchia Broom, 1906
                       ?Family †Proterochampsidae Romer, 1966
                         Genus †Cerritosaurus Price, 1946