'If this base value unifies with ``other``, then return the
unified value.  Otherwise, return ``UnificationFailure``.'

def unify(self, other):

    raise NotImplementedError(u'abstract    base    class')
