Assertion: possible world | /r/HasAspect | same necessary propositions
Facets:
Source sentences:
text: Since all possible worlds would have the same necessary propositions, they are differentiated by their Big Conjunctive Contingent Fact (BCCF), which would contain different contingent propositions.