A proof challenge: multiple alignment and information compression
  These notes pose a "proof challenge": a proof, or disproof, of the
proposition that "For any given body of information, I, expressed as a
one-dimensional sequence of atomic symbols, a multiple alignment concept,
described in the document, provides a means of encoding all the redundancy that
may exist in I. Aspects of the challenge are described.
