My experiments learning unification