Ericf comments on How to compute the probability you are flipping a trick coin