shuffle propositions