let cycle ppf ~variable ~term =
    fprintf ppf
      "@[<v>@[because the equation@;<1 2>%t = %t@;<1 2>has only recursive solution"
      variable term