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]
1 †Procerberus formicarum Sloan & Van Valen, 1965