Membership problem: Difference between revisions