Abstract trees