Since the conjunct of a true contingent proposition and a necessary proposition is contingent and hence it is contained in the set of all contingent propositions, does that mean that the set of all contingent propositions is the same set as the set of all true propositions?