New tree logic