I have always had trouble with equally balanced lists; probably due to my obsessive compulsive disorder. A couple of years ago, I was auditing a University course (I believe it was a software project management course) when as usual, my mind wandered. After many years of trying to force it, it finally dawned on me that trying to make a perfectly symmetrical and complete list is literally impossible, it cannot be done, ever.
What does a complete list mean? Let’s use an example to define it. A good example is billing. When entertainers perform shows with more than one star, one of them must get “top billing”, that is, one of their names must come before the other; this is just the nature of a list. There is no way to list both names at the same time—just try to tell someone who the stars of the show are by saying both of their names simultaneously; you must say one before the other. Top billing is desirable because it implies importance. As a result, many co-stars end up arguing, even fighting over who gets top billing.
One solution is to give one top-billing, then follow it up by giving the other one top-billing. That way they each get top-billing. This does not work however because now one of them got top-billing first which is itself like saying that that person was more important, which is why they got it first.
You might propose to just balance it out by giving the second person top-billing first, in the next run, followed by the first person, and repeating, but this just ends up repeating itself. Let’s represent this with symbols:
The original list with one name listed first:
AB
The first solution, with the second person getting top-billing, but second:
AB , BA
The second attempt, with the second person getting top-billing first but in the second run:
AB,BA ; BA,AB
The third attempt, the second person gets top billing but again in the second half:
AB,BA;BA,AB – BA,AB;AB,BA
One more try before giving up:
AB,BA;BA,AB-BA,AB;AB,BA * BA,AB;AB,BA-AB,BA;BA,AB
As you can see, once the list has begun and one item is listed before another, there is no way that the list can be completed and symmetrical/balanced; you just get stuck in a recursive loop that grows forever. This is due to the nature of linearity. No matter what you do, A is the first item in the list and always will be! You could reverse the list so that B comes first or append the new items to the front instead of the back, but then we are in the same situation with all the symbols alternating yet never perfect:
AB
BA , AB
AB,BA ; BA,AB
BA,AB;AB,BA – AB,BA;BA,AB
AB,BA;BA,AB-BA,AB;AB,BA * BA,AB;AB,BA-AB,BA;BA,AB
Things get much worse with more than two symbols. The only list(s) that can be perfect are lists with only one symbol: A, AA, AAA, AAAA, and so on.
Unfortunately, there is no way to equally credit two performers, and there is no way to list two equal items. Even if you move into more dimensions there is still no way to present more than one item simultaneously.
Not surprisingly, others have thought of this notion (even if in a different context and without the same conclusion). (Even less surprisingly, it was thought about by mathematicians.) Specifically, it comes up as the Thue-Morse sequence, and Brams and Taylor contemplated it for fair division.