Probability Function Definition