propositions SP

X