Probability theory as extended logic