I like the discussion, but I'm not sold on the solution :).

In particular, the {n+1} bit is not immediatly clear to me, it seems like the number of original number of bits is increasing hah!