DetailsPropositions