You probably already saw this, but here's an interesting article about auditors in E: http://www.erights.org/elang/kernel/auditors/ (via <http://radeex.blogspot.com/2006/10/more-stuff-about-inferring-referential.html>) Grig