*** Proposition 1
*** Proposition 2
*** Proposition 3
*** Proposition 4
*** Proposition 5
*** Proposition 6
*** Proposition 7