let get_goal_only annots = annots.p_goal