¹As already explained, for a useful subclass of associative and associative-identity unification problems complete sets of unifiers are returned, and in all other cases a possibly incomplete such set is returned with a warning. See Sections 13.4.6 and 13.4.7.