For a potentially infinite list L, the antidiagonal of L is not a line of L.
The question is: Does this imply
There is no potentially infinite list of potentially infinite 0/1 sequences, L, with the property that any potentially infinite 0/1 sequence, s, is one of the lines of L.
