If it is not, the receiver should generate a fault.

如果不是，接收方应该生成一个错误。