Sixth normal form

Original text of this message