Am I wrong in thinking that the visual below “Finally with 5 the self-similarity continues as expected” is wrong? I’m thinking that the second-to-right and rightmost subtrees need to be larger, to have a sequence of four and five nodes respectively in their rightmost branches.