propositions.pdf