well-formedness redundancy of messages