allPropositions