let pp_goalx fmt g = pp_goal fmt "" g