diff --git a/doc/paper/INSERT.pdf b/doc/paper/INSERT.pdf
new file mode 100644
index 0000000..1187715
Binary files /dev/null and b/doc/paper/INSERT.pdf differ
diff --git a/doc/paper/LLADD-Freenix.pdf b/doc/paper/LLADD-Freenix.pdf
index db5bb8a..45714bd 100644
Binary files a/doc/paper/LLADD-Freenix.pdf and b/doc/paper/LLADD-Freenix.pdf differ