let pretty_context kf fmt pid =
  begin
    pp_goal_kind fmt pid.p_kind ;
    Description.pp_localized ~kf:(`Context kf) ~ki:true fmt pid.p_prop ;
    pp_goal_part fmt pid.p_part ;
  end