Alan, no one is double counting. They are looking at multiple possible results. That is how probabilities are computed. Not unlike VP where all possible draws for a hold are examined to determine the value of any hold.