N'estce pas parce que ces exemples sont inexistants ? Ces outils ne serventils pas qu'à résoudre des problèmes qu'on ne peut  par construction même  pas appliquer à quoi que ce soi concernant le réel, qu'ils ne modélisent en fait pas, et qu'ils utilisent des infinis dissymétriques, l'un supposé en construction et l'autre réalisé ?