vertebrates Cuvier, 1812 - vertebrates
   Cohort Amniota Haeckel, 1866 see Clade Amniota Haeckel, 1866 [Gauthier, Kluge & Rowe 1988]
     Class "Reptilia" Linnaeus, 1758 - reptiles
       Subclass Sauropsida Huxley, 1864
         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