-- assertion 3: not tested.