properties of probability