Re: [cl-unification-devel] newbie; questions on comutivity.