let missing_desc ppf ~scheme ~variable ~term =
    fprintf ppf
      "@[<v>@[The expected scheme has the form@;<1 2>%t@ and every instance of the provided one requires@;<1 2>@[<h>%t = %t@]@]@]"
        scheme variable term