canonicalPropositions