root set implementation subsection rewrited