labelled binary trees