How does this work? Does this create new symbols for deftrees whose owners need to be changed?