diff --git a/docs/source/images/statement-proposition-semantics.png b/docs/source/images/statement-proposition-semantics.png
new file mode 100644
index 0000000..1ee0035
Binary files /dev/null and b/docs/source/images/statement-proposition-semantics.png differ