- ‘proposition_SDSL.pdf’