let
get_both_hyp_goals annots = filter_both annots.info.p_both