Origin of mammal-like reptiles (reply)