let
get_goal_only annots = annots.info.p_goal