propositions 1a-1f Archive