. . . . "At each server and for each service there is an undo operation provided by the designer of the service." .