Actually did some more calculations and computer simulations to confirm, and found that Mosteller is correct. The formula works both ways - when p > q, and when q > p. However, I still don't understand why. Based on the problem 35, one cannot use this logic...