The goal is to prove that the center column doesn't repeat and to show the equidistribution of equal numbers of zeros and ones. This is similar to other deterministic processes like generating the digits of pi.