 So Bucket D needs to be split, but a check of its local depth, which is 2, is the same as the global depth, which is 2, so the directory must be split again, in order to hold keys of sufficient detail, e.g.3 bits.Now, formula_5 is in D and formula_3 is tried again, with 3 bits 011.., and it points to bucket D which already contains so is full; D's local depth is 2 but now the global depth is 3 after the directory doubling, so now D can be split into bucket's D' and E, the contents of D, has its formula_8 retried with a new global depth bitmask of 3 and ends up in D', then the new entry is retried with formula_9 bitmasked using the new global depth bit count of 3 and this gives 011 which now points to a new bucket E which is empty.