F = (0, 1)
Q = Point(l)
b = OrthogonalLine(Q, l)
c = Segment(Q, F)
d = LineBisector(F, Q)
P = Intersect(d, b)