m = Slope(f)
A = Point(f)
B = (3, 4)
C = (4, 4)
D = Point(f)
a = OrthogonalLine(B, xAxis)
E = Intersect(a, f)
b = OrthogonalLine(E, a)
c = Line(D, C)
F = Intersect(c, b)
d = Segment(A, B)
e = Segment(B, E)
g = Segment(C, B)
h = Segment(E, F)
i = Segment(F, D)
j = Segment(D, C)
k = Segment(A, C)