fold_formed_leaves