probability is given