Monad Prob implementation