Hi Mira:

your were pointing out that adjustments are generally useful to 
implement aspects. We should test this idea with COOL.

It appears that the selfex and mutex sets