I use 'αPk(β)' to denote the formally singular probability that a certain occurrence has the property, in its capacity as an element of a sequence in symbols: and I then define the formally singular probability as follows: (β)