Sixth normal form