Encase Vs Axiomatic Probability