HonoreDB comments on Probability puzzle: Coins in envelopes