F = (1, 0)
Q = Point(l)
b = OrthogonalLine(Q, l)
c = Segment(F, Q)
m = LineBisector(Q, F)
P = Intersect(m, b)
e = Segment(Q, P)
f = Segment(P, F)
C = Intersect(m, c)