valid_root_of