rooted(p)