A Conundrum

Our new line segment assertion code looks beautiful and seems to be programmed perfectly. But it doesn’t work. What’s wrong? The answer to this question leads to an even deeper problem, and a challenge for viewers to solve.