Section II Propositions finished