Lesson #25 - 23/1/2023
Conditions d’achèvement
Implementing unification and substitution application.