let inequality ppf ~lb ~ub =
    fprintf ppf
      "@[<v>@[%t < %t is not valid]]" lb ub