[math-fun] Bracketings, ORTs and binomial coefficients