动物」，用来包含一群相对于真爬行动物的已灭绝古生代爬行类。这名称后来废弃不用，直到它再度被亲缘分支分类法研究使用，用来包含与龟鳖目无关系的无孔亚纲。在1988年，嘉克斯·高斯特（Jacques Gauthier） 与其他人提出许多羊膜动物的第一个系统发生学定义，将蜥形纲（Sauropsida）定义为爬行纲（Reptilia）的母演化支，并提出无孔亚纲由杯龙目与龟鳖目两个姐妹分类单元构成（比阿尔弗雷德·罗默在1967年提出的定义还要狭窄）。如此一来，许多二叠纪与三叠纪爬行类不再包括于无孔亚纲内，因此需要建