> Yes, I fully understand this issue must be resolved for correctness. > We should make note of this in the spec and claim that the next rev > will resolve it. This is okay with me.