half of bst non-mutating complete