Client invokes Target.change;
Target invokes
Observer.update;
Observer.update;
Target.queryState completes and returns control
to Observer;
n Observer.update completes and returns
control to Target;
Target.change completes and returns control to Client.
