existingPropositions