 Another formulation of No Twins might be the following: the identity of a world is completely determined by which facts hold in it. No Twins imposes serious constraints on the cardinality of \(F\). In particular, since there are infinitely many worlds, No Twins implies that there must also be infinitely many facts.