Re: [math-fun] Propp's coin-tossing