+ ‘proposition_SDSL.pdf’