Class Mammalia Linnaeus, 1758 - mammals
   Subclass Boreosphenida Luo, Cifelli & Kielan-Jaworowska, 2001 - tribotherians see Clade Boreosphenida Luo, Cifelli & Kielan-Jaworowska 2001
     Infraclass Eutheria Gill, 1872
       Magnorder Epitheria McKenna, 1975 see Cohort Placentalia Owen, 1837
         Superorder Ferae Linnaeus, 1758 see Grandorder Ferae Linnaeus, 1758
           Order Cimolesta McKenna, 1975
             Family †Cimolestidae Marsh, 1889
               Genus †Procerberus Sloan & Van Valen, 1965 [monotypic]
                 †Procerberus formicarum Sloan & Van Valen, 1965