Updated propositions