length

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