turnbullorum" y las especies de "Ophiderpeton", "Oestocephalus" y "Phlegethontia".