Re: [math-fun] Combinatorics of shell substitution