Infraphylum Tetrapoda Goodrich, 1930 see Clade Tetrapoda Hatschek & Cori 1896 [Laurin 2020]
   Superclass Amniota Haeckel, 1866 see Clade Amniota Haeckel 1866 [Laurin & Reisz 2020]
     Paraclass Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
       Parasubclass Diapsida Osborn, 1903 [paraphyletic] - diapsids see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
         Parainfraclass Archosauria Cope, 1869 [paraphyletic] see Clade Archosauria Cope 1869 [Gauthier & Padian 2020]
           Parasuperorder Thecodontia Owen, 1859 [paraphyletic]
             1 Paraorder †Proterosuchia Broom, 1906 [paraphyletic]
             2 Order †Ornithosuchia Bonaparte, 1971
             3 Order †Pseudosuchia Zittel, 1887-1890 see Clade Pseudosuchia Zittel 1887-1890 [Gauthier & Padian 1985]
             4 Order †Parasuchia Huxley, 1875 [monotypic] see Order Phytosauria Meyer, 1861
             5 Order †Aetosauria Nicholson & Lydekker, 1889 [monotypic]
             6 Order Crocodylia Wagler, 1830 - crocodiles
             7 Order †Hupehsuchia Young & Dong, 1972 [monotypic]