(Millerettidae,(Lanthanosuchoidea,(Macroleter,(Pareiasauria,(((Procolothon,Tichvinskia),(Koiloskiosaurus,(Sclerosaurus,(Thelegnathus,(Hypsognathus,Leptopleuron))))),(Owenetta,Barasaurus))))));