That comment is wrong. The number of such words is the Catalan numbers, A000108 -- for instance, a Dyck path is formed by using a for up steps and b for down steps. The condition that the b's never outnumber a's is then the condition that the path never goes below the horizontal. William