Uniqueness over two fields

Original text of this message