trees are finite