lambda1@tg says to YSITD like turning the original node into an internal node, and extend the tree by making the leaf become the left child of that node