added set unification to ==