Revert "- ‘proposition_SDSL.pdf’"

This reverts commit f353ab71978db1b27d195f915bf2f9b5c68ae359.