p0 = (-5, 2)
p1 = (-1, 2)
f = Line(p0, p1)
p1_2 = (-5, 6)
g = Line(p0, p1_2)
A = Point(f)
B = Point(f)
h = Line(p1, p1_2)
i = Line(B, h)
A_2 = Intersect(g, i)
j = Line(A, p1_2)
k = Line(A_2, j)
AtimesB = Intersect(f, k)