Since reptiles are not monophyletic, reclassifying them is one of the key aims of researchers. Some taxonomists, such as Benton, make Sauropsida and Synapsida as class-level taxa. The two groups split in the Carboniferous, from stem-group Amniotes (the early tetrapods, which laid cleidoic eggs).