diff --git a/files/papers/bounded.pdf b/files/papers/bounded.pdf deleted file mode 100644 index 5c2d088..0000000 Binary files a/files/papers/bounded.pdf and /dev/null differ diff --git a/files/papers/metric-sem.pdf b/files/papers/metric-sem.pdf deleted file mode 100644 index 0fbed6e..0000000 Binary files a/files/papers/metric-sem.pdf and /dev/null differ diff --git a/files/papers/rel-indep.pdf b/files/papers/rel-indep.pdf deleted file mode 100644 index c41bde5..0000000 Binary files a/files/papers/rel-indep.pdf and /dev/null differ