Procolophon

Procolophon is a genus of lizard-like procolophonid reptiles that first appeared in the Late Permian (Lopingian) of South Africa, Brazil, and Antarctica. It persisted through the Permian–Triassic extinction event, but went extinct in the early Triassic. The type species is "P. trigoniceps".
History of discovery.
The first "Procolophon" fossil was discovered in the 1870s in Donnybrook, an area southwest of Pietermaritzburg in present-day Kwa-Zulu Natal of South Africa. The fossil was accessioned to Harry Seeley, who described the fossil in 1878. Numerous other fossils have been recovered since from localities across the Eastern Cape and Free State provinces of South Africa.
Description.
"Procolophon" reached a length up to , and is considered to have been a small herbivore or insectivore. The skull of "Procolophon" is distinct because of its latero-posteriorly facing paired cheek spikes, along with spiked dermal ossicles. Paleontologists debate the function of the cheek spikes. Some paleontologists posit that the bony protrusions were points for muscle attachments. "Procolophon" also had large eyes, and may have had acute night vision. Its teeth were peg-like and suitable for crushing plant matter. The front of the skull was short and blunt with the nasal opening very close to the mouth.
Classification.
"Procolophon" is a basal member of Procolophonidae, a clade of parareptiles that are closely related to larger, more derived parareptiles such as the pareiasaur, "Bradysaurus". Procolophonids are also related to mesosaurids and millerettids. "Procolophon" is also considered to share a sister-taxon relationship with "Tichvinskia", a procolophonid from the lower Triassic of Russia.
Correlation.
"Procolophon" occupied a wide geographic range. Fossils of the genus were found in the "Lystrosaurus" Assemblage Zone of the Katberg and Normandien Formations of South Africa, to the Sanga do Cabral Formation of the Paraná Basin in eastern Brazil, to the Fremouw Formation of the Transantarctic Mountains. Numerous subspecies and sister taxa are also found in the lower Triassic (Induan) of Germany, North America, and Russia.