AISL 4.5 Probability formulae