This axiom is equivalent to finding the intersection of a line with a circle, so it may have 0, 1, or 2 solutions. The line is defined by "l"1, and the circle has its center at "p"2, and a radius equal to the distance from "p"2 to "p"1. If the line does not intersect the circle, there are no solutions. If the line is tangent to the circle, there is one solution, and if the line intersects the circle in two places, there are two solutions.