D_Alex comments on Probability puzzle: Coins in envelopes