totalPropositions