Joinable_BST_Work_Bounds.StronglyJoinable