diff --git a/doc/PropositionStructure.odt b/doc/PropositionStructure.odt
new file mode 100644
index 0000000000000000000000000000000000000000..7dd6ccfe2e4fd1b93a2d8f6bc25cf11f272e4836
Binary files /dev/null and b/doc/PropositionStructure.odt differ