(Dimetrodon,((Hipposaurus,(Bullacephalus,(Proburnetia,Burnetia))),(Australosyodon,(Gorgonopsidae,Scylacosauridae))));