Overall, the algorithm now proceeds by always making the most general choice leaving the specialization to the unification, which by itself produces the most general result.
Insgesamt verfährt der Algorithmus nun, indem er immer die allgemeinst mögliche Auswahl triff und die Spezialisierung der Unifikation überlässt, die ihrerseits das allgemeinst mögliche Resultat erzeugt.