Thanks for the insightful responses to my questions. Mr. Reid, I wish to know what you mean when you say that auditing with eventual auditors would be a source of mutability. Should I interpret this statement in terms of the E-on-CL auditing framework where auditors have direct access to the values of instance variables of objects being audited?