more possible propositions