I would like some help with clarifying the intended MakeInvalid behavior.In AMBA CHI Specs, rev.G:If an RN is in SharedDirty state, is it allowed, based on "The request premits that any cached Dirty copies are discarded.", to discard its own dirty copy and move itself to Invalid state and issue the MakeInvalid?Doing so seems to contradict the second reference (sent only from UC, UCE, SC, I), so am I misunderstanding the first reference?If MakeInvalid can allow peer nodes to discard the dirty lines without returning data, would that also be acceptable for the issuer of the MakeInvalid?Thank you.