09_tree right_P_covered