B = (-2.2, -2.74)
C = (3.18, -2.74)
a = Segment(B, C)
b = OrthogonalLine(B, a)
c = OrthogonalLine(C, a)
d = Circle(C, a * sqrt(2.0))
D = Intersect(d, c, 2.0)
e = OrthogonalLine(D, c)
A = Intersect(b, e)
f = Segment(A, D)
g = Segment(D, C)
h = Segment(A, B)
i = Segment(A, C)
I = Midpoint(g)
j = Segment(I, B)
K = Intersect(i, j)
α = Angle(C, K, I)
k = Segment(D, I)
l = Segment(I, C)