Probability and Logic Results