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 Anapsida Osborn, 1903 - anapsids
               Order †Captorhinida
                 Suborder †Procolophonia Seeley, 1888 [monotypic] see Clade Procolophonia Seeley 1888 [Laurin & Reisz 1995]
                   Superfamily †Procolophonoidea Cope, 1889
                     Family †Procolophonidae Lydekker, 1889
                       Genus †Microphon Ivakhnenko, 1983