find_last

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