member

Popper encoding for the member problem.
Back to my Popper page.