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

[Gurkenglas]

2^-n is in fact the probability of a coin showing n heads. Where is the choice?