diff --git a/fig/construction.png b/fig/construction.png new file mode 100644 index 0000000..a0b147d Binary files /dev/null and b/fig/construction.png differ