A verified algorithm for finding the intersection point of two lists | Hacker News Reader