a little rewrite of successProb