[math-fun] Combinatorics of shell substitution