x + 1 is a tree