The "Observer" Design Pattern. An Observer must be updated by an Observable (see the class OBSERVABLE in the lib/abilities cluster).
ANY
The observable object o wants Current to be updated