Use "unifiable" in other cases