Lapsed_Lurker comments on Probability puzzle: Coins in envelopes