Law of total probability