(Ophiacodontidae,(Edaphosauridae,(Haptodus,(Sphenacodontidae,(Biarmosuchia,(Eotitanosuchus,(Anteosauridae,Estemmenosuchidae),(Anomodontia,(Gorgonopsidae,(Therocephalia,((Dvinia,Procynosuchus),(Galesauridae,(Thrinaxodon,(Cynognathia,(Probelesodon,(Probainognathus,(Trithelodontidae,(Morganucodontidae,Sinoconodon)))))))))))))))));