Extinct reptiles of the Permian to Jurassic considered ancestral to mammals English: Synapsida, subclass Synapsida