Probability of a certain event