A = (0, -4)
a = OrthogonalLine(A, xAxis)
b = 2
c = OrthogonalLine(A, yAxis)
B = (2, 0)
d = OrthogonalLine(B, c)
D = Intersect(d, c)
E = Mirror(B, D)
F = Mirror(D, E)
G = Mirror(E, F)
e = Line(G, A)
f = Line(E, e)
H = Intersect(f, c)
g = Line(B, H)
I = Intersect(g, a)
C = Mirror(I, B)
J = Mirror(B, a)
K = Mirror(C, a)
p = Conic(A, B, C, J, K)