Non-Empty Tree