relatedness

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