⁴Or a finite but incomplete set (with an explicit warning) when one of the symbols has the assoc attribute without the comm attribute and the equations fall outside the class for which a finite, complete set of unifiers can be computed.