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 Lepidosauromorpha Benton, 1983 see Subclass Lepidosauromorpha Benton, 1983
                 Superorder Lepidosauria Haeckel, 1866 see Superorder Lepidosauriformes Gauthier, Estes & de Queiroz, 1988
                   Order Squamata Oppel, 1811
                     Suborder Serpentes Linnaeus, 1758 - snakes
                       Infraorder Henophidia Hoffstetter, 1939 see Superfamily Henophidia Hoffstetter, 1939
                         1 Superfamily †Simoliopheoidea
                         2 Superfamily Anilioidea Stejneger, 1907
                         3 Superfamily Booidea Gray, 1825
                         4 Superfamily Acrochordoidea Bonaparte, 1831