Added Prob Formulation