notes on Tree.attrs