diff --git a/papers-wip2/semantics-of-propositions.odt b/papers-wip2/semantics-of-propositions.odt
new file mode 100644
index 00000000..6eaeb7e2
Binary files /dev/null and b/papers-wip2/semantics-of-propositions.odt differ
diff --git a/papers-wip2/semantics-of-propositions.pdf b/papers-wip2/semantics-of-propositions.pdf
new file mode 100644
index 00000000..166dddc3
Binary files /dev/null and b/papers-wip2/semantics-of-propositions.pdf differ