beginnings of algebraic model of T-shaped traversals à la Rosebrugh and Johnson