Membership problem