Added more probability formulas