(If no two events occur at exactly the same worlds if, that is, there are no absolutely necessary connections between distinct events we may add that this correspondence of events and propositions is one to one.)