This can be expressed in words as: The formally singular probability that the event has the property given that is an element of the sequence is, by definition, equal to the probability of the property within the reference sequence.