> Regardless of the probability distribution of the random button, it does not change the optimal strategy. I agree, and didn't mean to suggest otherwise. I w

> Regardless of the probability distribution of the random button, it does not change the optimal strategy. I agree, and didn't mean to suggest otherwise. I was just referring to the specific probability computations being made.