unique propositions