let incompatible ppf ~term1 ~term2 =
    fprintf ppf
      "@[<v>@[because@;<1 2>%t@ is not compatible with@;<1 2>%t@]@]"
      term1 term2