[pdonis]

> irrespective of what private information they have been exposed to

I think this statement is too strong. I can see it being correct if the domain being reasoned about is monotonic (i.e., new information can never change the belief state of a statement once it is established), but most domains of real-world interest are not.