def bi_var_equal(var1, unifier1, var2, unifier2):
    """Returns True iff variable VAR1 in unifier UNIFIER1 is the same
    variable as VAR2 in UNIFIER2.
    """
    return (var1 == var2 and unifier1 is unifier2)