AffinePentagon(a, b, c)
: if e == (0, 1) rel (a, c), d == (1, 1) rel (a, c)
| (b, a) para (c, e)
and (c, b) para (d, a)
and (d, c) para (e, b)
and (d, e) para (c, a)
and (e, a) para (d, b)
-> draw (a, b)
; draw (e, a)
; draw (d, e)
; draw (c, d)
; draw (b, c) fi

Dodec(a, b, c, x)
: if d == (1, 1) rel (a, c)
, e == (0, 1) rel (a, c)
, f == (2, 0) rel (a, x)
, g == (2, 0) rel (b, x)
, h == (2, 0) rel (c, x)
, i == (2, 0) rel (d, x)
, j == (2, 0) rel (e, x)
| (b, a) para (c, e)
and (c, b) para (d, a)
and (d, c) para (e, b)
and (d, e) para (c, a)
and (g, f) para (h, j)
and (h, g) para (i, f)
and (i, h) para (j, g)
and (i, j) para (h, f)
and (j, f) para (i, g)
and (a, x) para (x, f)
and (a, x) cong (x, f)
and (b, x) para (x, g)
and (b, x) cong (x, g)
and (c, x) para (x, h)
and (c, x) cong (x, h)
-> AffinePentagon(a, b, c); AffinePentagon(f, g, h) fi