[math-fun] Tree terminology