Nick Sabalausky wrote: > module(system, trusted) calvin; > ? Yah, I was thinking of something along those lines. What I don't like is that trust is taken, not granted. But then a model with granted trust would be more difficult to define. Andrei