B = (1, 2)
C = Point(Segment[B, (x(B) - 10, y(B))])
a(x, y) = x > x(B) ∧ y > y(B)
f = Segment(C, B)
D = PointIn(a)
h = Ray(C, B)
i = OrthogonalLine(D, h)
E = Intersect(h, i)
j = Segment(E, D)
k = Segment(D, B)
l = Segment(D, C)
m = Segment(B, E)
F: (-8.03478, -0.70218)