Propositions 7 and 8