Unify with membership
Unify with membership