the addition law of probability