The fun of programming持っている人に聞きたいんだけど、Fig. 1.2で

 1
/\
3  2
|  |
4  5
に「6だけ」の木を追加する次の段階って、何故2-5の枝の方にくっ付けたんでしょうか?3-4の方に付けちゃ駄目?

joinの定義式のaa bb ccに該当するものを考えてそうなるのかと思ったのだけど、そうすると上段では
左側に2・右側に3の枝になっているのが、下段に行くと左右逆転して左が3の枝になってるのも分からない。