assertion 3: not tested.