'If possible, return a single value..  If not, return
the value ``UnificationFailure``.'

def unify_base_values(self, fval1, fval2, bindings):

    if (fval1 == fval2):
        return fval1
    else:
        return UnificationFailure
