pdf with section I of propositions finished