D = (0, -2)
d = OrthogonalLine(D, yAxis)
F = Mirror(D, xAxis)
g = OrthogonalLine(F, d)
V = Midpoint(D, F)
h = Segment(F, D)
f = OrthogonalLine(F, h)
c = Circle(F, D)
A = Intersect(c, f, 1)
B = Intersect(c, f, 2)
T = Point(d)
i = OrthogonalLine(T, d)
j = LineBisector(F, T)
P = Intersect(i, j)
k = Segment(F, T)
l = Segment(P, F)
m = Segment(P, T)
loc1 = Locus(P, T)