rootedness

not defined yet